Modal logic and the Vietoris functor
نویسنده
چکیده
In [17], Esakia uses the Vietoris topology to give a coalgebra-flavored definition of topological Kripke frames, thus relating the Vietoris topology, modal logic and coalgebra. In this chapter, we sketch some of the thematically related mathematical developments that followed. Specifically, we look at Stone duality for the Vietoris hyperspace and the Vietoris powerlocale, and at recent work combining coalgebraic modal logic and the Vietoris functor.
منابع مشابه
Bitopological Vietoris spaces and positive modal logic
Using the isomorphism from [3] between the category Pries of Priestley spaces and the category PStone of pairwise Stone spaces we construct a Vietoris hyperspace functor on the category PStone related to the Vietoris hyperspace functor on the category Pries [4, 18, 24]. We show that the coalgebras for this functor determine a semantics for the positive fragment of modal logic. The sole novelty ...
متن کاملVietoris Bisimulations
Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces, we introduce and study the concept of a Vietoris bisimulation between two descriptive modal models, together with the associated notion of bisimilarity. We prove that our notion of bisimilarity, which is defined in terms of relation lifting, coincides with Kripke bisimilarity (w...
متن کاملModal Operators on Compact Regular Frames and de Vries Algebras
In [7] we introduced the category MKHaus of modal compact Hausdorff spaces, and showed these were concrete realizations of coalgebras for the Vietoris functor on compact Hausdorff spaces, much as modal spaces are coalgebras for the Vietoris functor on Stone spaces. Also in [7] we introduced the categories MKRFrm and MDV of modal compact regular frames, and modal de Vries algebras as algebraic c...
متن کاملNabla Algebras and Chu Spaces
This paper is a study into some properties and applications of Moss’ coalgebraic or ‘cover’ modality ∇. First we present two axiomatizations of this operator, and we prove these axiomatizations to be sound and complete with respect to basic modal and positive modal logic, respectively. More precisely, we introduce the notions of a modal ∇-algebra and of a positive modal ∇-algebra. We establish ...
متن کاملStone coalgebras
In this paper we argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers the Vietoris functor as an analogue to the power set functor on the category of sets. We prove that the so-called descriptive general frames, which play a fundamental role in the semantics of modal logics, can be seen as Stone coalgebras in a natural way. T...
متن کامل